Midisat -technical Report
نویسنده
چکیده
Many DPLL-based [1] SAT solvers use an implementation of the two-literal watching scheme (TLWS) first used in Chaff [6] for boolean constraint propagation (BCP). For the extreme case of binary clauses this otherwise efficient algorithm has a large overhead in memory usage. In this report a technique called implication table for augmenting TLWS will be described and mathematically analyzed, that reduces memory usage for binary clauses by storing them in separate structures. BCP speed is also improved due to using the implication table. The v1.12 version of the open-source solver MiniSAT [2] was extended with the technique, and the modified program entered the 2005 SAT competition under the name MidiSAT. Implementation details and experimental results are presented. The technique also allows finding a simple case of equivalent variables easily.
منابع مشابه
Transradial Neurointerventional Approach to Basilar Tip Aneurysm: Case Report and Technical Note
Cerebral angiography through transfemoral approach is preferred in most of the situation though in cardiovascular surgery transradial angiography is accounted as the superior standard. The present study aimed at presenting our early experience of transradial approach to cerebral angiography and intervention of a patient with basilar tip aneurysm that had inappropriate vasculature to perform rou...
متن کاملمقاومت حقیقی به داروهای بیحس کننده موضعی: (گزارش مورد)
Background: We report a case with apparent resistance to local anesthetics. While regional anesthetics failure are often attributed to technical failure, the clinical presentation and medical history of this patient suggests a true resistance to local anesthetics. Case report: A 28 years old man was scheduled for elective orthopedic surgery for right sided tibial bone fracture, and decision of...
متن کاملOpenmp Technical Report 2 on the Ompt Interface This Technical Report Specifies Ompt: an Openmp Tools Application Programming Interface for Performance Analysis Tools Application Programming Interface for Performance Analysis , and Other Members of the Openmp Tools Working Group
This technical report describes possible future directions or extensions to the OpenMP Specification. The goal of this technical report is to build more widespread existing practice for an expanded OpenMP. It gives advice on extensions or future directions to those vendors who wish to provide them possibly for trial implementation, allows OpenMP to gather early feedback, support timing and sche...
متن کاملIs Trans Fatty Acid Still an Issue for Policy Makers in Iran? A Technical Report
In recent decades, the oil industry has changed its direction toward vegetable oil use instead of animal fats due to various reasons such as a small numbers of animal fat resources and high saturated fatty acids content in animal fats. Therefore, different modification processes have been used to alter the physicochemical properties of vegetable oils, which lack functionality and oxidative stab...
متن کامل